Un certain 11 septembre au matin…

Septembre 2011 Université Paris - sud 11

15 Synthèse 17 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 Etude de sensibilité . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19 Etalonnage des calorimètres . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22 Première mesure de physique avec les données 2010 . . . . . . . . . . . . . . . . . ....

Triem Tong N ̊ ? ? ? ? Septembre 2001

We present Timbuk a tree automata library which implements usual operations on tree automata as well as a completion algorithm used to compute an over-approximation of the set of descendants R (E) for a regular set E and a term rewriting system R, possibly non linear and non terminating. On several examples of term rewriting systems representing programs and systems to verify, we show how to us...

FORmac DEsk CALculator‎ : un outil de mise au point et d'aide au calcul formel sur ordinateur

Un système d'intégration des métadonnées dédiées au multimédia

Avec l’explosion du web sémantique et multimédia et le besoin de disposer de connaissances directement interprétables par les machines, plusieurs standards de descriptions des métadonnées sont apparus ces dernières décennies (MPEG-7, MPEG-21, TV-Anytime, etc.). Ils permettent de décrire un large éventail d’entités : des contenus multimédia disponibles sur le Web (image, vidéo, audio, etc.), des...

EnTiMid: un middleware au service de la maison

Résumé. Face aux enjeux de société liés au vieillissement de la population, la domotique est souvent citée comme une solution pour favoriser le maintien à domicile des personnes âgées et la coordination des acteurs autour de cette problématique. Cet article liste les exigences auxquelles doit faire face une plate-forme domotique. Il montre que ces exigences rendent inopérantes les solutions com...